|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - untitled | |
| Simulink version: 24.2 | Model version: 1.0 |
| System: untitled | Current run: 10-Feb-2025 11:53:04 |
| Treat as Referenced Model: off | |
| Incomplete | Failed | Warning | Justified | Passed | Information | Not Run | Total |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
2246 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
Passed
No Simscape blocks with ambiguous unit setting found in the model.
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Warning
No block selected in the following model
Names defined as keywords must not be used
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Open Keywords File | N/A |
The use of capital letters in object names must be clear and consistent across the project
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Case condition | alllowercase |
| Ignore prefix | false |
Names that exceed the defined maximum name length must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum acceptable length | 32 |
Check if function blocks have comments
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
Nesting of multiline comments must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
The number of input variables, output variables, and in-out variables of a POU must be within a limited set
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum number of I/O variables | 20 |
Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.
Passed
This model uses the default value for property ModifiedByFormat.
Passed
This model uses the default value for property ModifiedDateFormat.
Passed
This model uses the default value for property ModelVersionFormat.
Check optimization settings
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Use bitsets for storing state configuration (StateBitsets) | off | on |
| Warning | Use bitsets for storing Boolean data (DataBitsets) | off | on |
Identify logic blocks that are outputting non-Boolean data types.
Passed
There are no logic blocks in the model or subsystem.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify configuration parameters that might impact secure coding standards compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Warning
To check for upgrade issues, open the Upgrade Advisor.
Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for untitled.
Open the Upgrade Advisor
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| SubSystem | 1 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 13 |
| SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
| Subsystem Name | Level | Depth |
|---|---|---|
| untitled/Solver Configuration | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| SubSystem | 1 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 13 |
| SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
| Subsystem Name | Level | Depth |
|---|---|---|
| untitled/Solver Configuration | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| SubSystem | 1 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 13 |
| SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
| Subsystem Name | Level | Depth |
|---|---|---|
| untitled/Solver Configuration | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| SubSystem | 1 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 13 |
| SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
| Subsystem Name | Level | Depth |
|---|---|---|
| untitled/Solver Configuration | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| SubSystem | 1 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 13 |
| SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
| Subsystem Name | Level | Depth |
|---|---|---|
| untitled/Solver Configuration | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize artificial algebraic loop occurrences (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of blocks in the model or subsystem.
Passed
| Component | Blocks |
|---|---|
| untitled | 14 |
| untitled/Solver Configuration | 2 |
Display number of Subsystems in the model or subsystem.
Passed
| Component | Subsystems |
|---|---|
| untitled | 1 |
| untitled/Solver Configuration | 1 |
Display number of library links in the model or subsystem.
Passed
| Component | Library Links |
|---|---|
| untitled | 14 |
| untitled/Solver Configuration | 0 |
Display number of effective lines of MATLAB code.
No metric data available. Nothing to report for this metric.
Passed
Display number of Stateflow objects in each chart.
No metric data available. Nothing to report for this metric.
Passed
Display number of code lines for Stateflow blocks.
No metric data available. Nothing to report for this metric.
Passed
Display depth of subsystems in the model or subsystem.
Passed
| Component | Subsystem Depth |
|---|---|
| untitled/Solver Configuration | 1 |
| untitled | 0 |
Display non-descriptive names of Inport, Outport and Subsystem blocks.
Passed
| Component | Nondescriptive Names |
|---|---|
| untitled | 0 |
| untitled/Solver Configuration | 0 |
Display data and structure layer separation, defined by MAB modeling guideline db_0143.
Passed
| Component | Non-conforming Blocks |
|---|---|
| untitled/Solver Configuration | 1 |
| untitled | 0 |
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long signal and bus names.
Passed
All signal and bus names are valid.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
Identify usage of reserved keywords in MATLAB Function blocks.
Passed
No variable names conflict with reserved keywords
Identify data names with invalid characters in MATLAB Functions.
Passed
All the data names in MATLAB Functions use valid characters.
Identify length of data names in MATLAB Functions.
Passed
All data name lengths in MATLAB Functions are under the acceptable limit.
jc_0903_b1 : Check for signal lines overlapping or intersecting other signal lines or blocks
Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.
Warning
The following signal lines overlap or intersect:
Identify objects in Stateflow charts that visibly overlap.
Passed
Objects in Stateflow charts do not overlap.
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify diagnostic parameters that are set to none.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error, warning |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error, warning |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error, warning |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error, warning |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error, warning |
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Modeling > Environment > Model Browser | off | on |
| Debug > Information Overlays > Show All Links | none | disabled |
Identify issues with model appearance.
Warning
The following blocks use nonstandard colors:
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Incorrect block name position
Warning
The following blocks have names that do not display below the blocks:
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check for unconnected signal lines
Warning
The following signal lines in the model are not connected:
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Check block orientation
Warning
The following blocks have rotated or reversed orientation:
Passed
All tunable block parameters have been defined as named constants.
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify MATLAB Functions with high number of effective lines of code.
Passed
No MATLAB Function found with high number of effective lines of code.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Identify usage of non-constant variables in Switch/Case statements.
Passed
Non-constant variables are not used as Switch/Case arguments
Identify multiple execution statements that are written in a single line and end without a semicolon.
Passed
All execution statements are written in new lines and end with a semicolon.
Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.
Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.
Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.
Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.
Check for correct placement of relational operator operands.
Passed
All relational operator usage is valid.
Be sure to assign the return value of functions to a variable before using it.
Passed
Return value of all functions used was assigned to a variable before using it.
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long folder names.
Passed
Folder names are valid.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Modeling > Environment > Model Browser | off | on |
| Debug > Information Overlays > Show All Links | none | disabled |
Identify issues with model appearance.
Warning
The following blocks use nonstandard colors:
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Incorrect block name position
Warning
The following blocks have names that do not display below the blocks:
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Check for unconnected signal lines
Warning
The following signal lines in the model are not connected:
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Identify incorrect signal propagation.
Passed
All subsystems and connection blocks display propagated signals.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check block orientation
Warning
The following blocks have rotated or reversed orientation:
Passed
All tunable block parameters have been defined as named constants.
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.
Passed
No operation blocks found that directly specify the 'Output data type' parameter.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Check if signal lines are split into multiple sublines
Warning
The following signal lines are split into multiple sublines:
Check signal overlaps
Warning
The following signals overlap with other signals in the diagram:
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long folder names.
Passed
Folder names are valid.
Identify long signal and bus names.
Passed
All signal and bus names are valid.
Identify data names with invalid characters in MATLAB Functions.
Passed
All the data names in MATLAB Functions use valid characters.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Modeling > Environment > Model Browser | off | on |
| Debug > Information Overlays > Show All Links | none | disabled |
Identify issues with model appearance.
Warning
The following blocks use nonstandard colors:
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Incorrect block name position
Warning
The following blocks have names that do not display below the blocks:
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Check for unconnected signal lines
Warning
The following signal lines in the model are not connected:
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Passed
All blocks that require labeled sources have labeled signals.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check block orientation
Warning
The following blocks have rotated or reversed orientation:
Passed
All tunable block parameters have been defined as named constants.
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Checks If blocks for complex usage of primary expressions within a logical expression
Passed
Logical expressions inside If blocks are simple
na_0036: Default variant
Identify variant subsystems that do not use default variants.
Passed
All variant subsystems in the model use default variants
jc_0903_b1 : Check for signal lines overlapping or intersecting other signal lines or blocks
Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.
Warning
The following signal lines overlap or intersect:
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Usage of Simulink Functions in Stateflow.
Passed
All Simulink Functions in Stateflow are defined according to the guideline.
na_0039: Limitation on Simulink functions in Chart blocks
Check use of Stateflow charts nested inside Simulink functions used in Stateflow.
Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.
Identify transition line arrowhead not set to size specified by the project setting.
Passed
All transition line arrowhead set to size specified by the project setting.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Identify multiple execution statements that are written in a single line and end without a semicolon.
Passed
All execution statements are written in new lines and end with a semicolon.
Identify single-byte spaces between function or variable names and left parenthesis symbol.
Passed
No spaces between function or variable names and left parenthesis symbol.
Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.
Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.
Check for correct placement of relational operator operands.
Passed
All relational operator usage is valid.
Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.
Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.
Identify non-empty statements that do not have any effect or do not change the control flow.
Passed
All non-empty statements have a side-effect or change the control flow.
Be sure to assign the return value of functions to a variable before using it.
Passed
Return value of all functions used was assigned to a variable before using it.
Identify functions without a function header.
Passed
All functions have a function header.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Identify usage of non-constant variables in Switch/Case statements.
Passed
Non-constant variables are not used as Switch/Case arguments
Check shared Embedded Code Dictionary is not configured with service code interface configurations
Check whether the shared Embedded Code Dictionary linked to the model is not configured with a service code interface configuration.
Passed
The Embedded Code Dictionary does not contain a service code interface configuration.
Verify 'Use dynamic memory allocation for model initialization' setting
Check whether Code Generation > Interface > Use dynamic memory allocation for model initialization is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Shared code placement' setting
Check whether Code Generation > Interface > Shared code placement is set to 'Shared location'.
Warning
Code Generation > Interface > Shared code placement is not set to 'Shared location' .
Recommended Action
Set Code Generation > Interface > Shared code placement to 'Shared location' .
_________________________________________________________________________________________
Verify 'Additional code' setting
Check whether Code Generation > Custom Code > Additional code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Additional code is set to "".
_________________________________________________________________________________________
Verify 'Include headers' setting
Check whether Code Generation > Custom Code > Include headers is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Include headers is set to "".
_________________________________________________________________________________________
Verify 'Initialize code' setting
Check whether Code Generation > Custom Code > Initialize code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Initialize code is set to "".
_________________________________________________________________________________________
Verify 'Terminate code' setting
Check whether Code Generation > Custom Code > Terminate code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Terminate code is set to "".
_________________________________________________________________________________________
Verify 'Disable incompatible optimizations' setting
Check whether Code Generation > Optimization > Disable incompatible optimizations is set to '-SLCI'.
Warning
Code Generation > Optimization > Disable incompatible optimizations is not set to '-SLCI' .
Recommended Action
Set Code Generation > Optimization > Disable incompatible optimizations to '-SLCI' .
_________________________________________________________________________________________
Verify 'Combine signal/state structures' setting
Check whether Code Generation > Interface > Combine signal/state structures is cleared.
Passed
Code Generation > Interface > Combine signal/state structures is cleared.
_________________________________________________________________________________________
Verify 'Array layout' setting
Check whether Code Generation > Interface > Array layout is set to 'Column-major'.
Passed
Code Generation > Interface > Array layout is set to 'Column-major'.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions that wraps out-of-range values' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is selected.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is cleared.
Recommended Action
Select the Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values checkbox.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions with saturation that maps NaN to zero' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is cleared.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is selected.
Recommended Action
Clear the Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero checkbox.
_________________________________________________________________________________________
Verify 'Include comments' setting
Check whether Code Generation > Comments > Include comments is selected.
Passed
Code Generation > Comments > Include comments is selected.
_________________________________________________________________________________________
Verify 'Preserve condition expression in if statement' setting
Check whether Code Generation > Code Style > Preserve condition expression in if statement is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Code replacement library' setting
Check whether Code Generation > Interface > Code replacement library is set to 'None'.
Passed
Code Generation > Interface > Code replacement library is set to 'None'.
_________________________________________________________________________________________
Verify 'Language standard' setting
Check whether Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
Passed
Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
_________________________________________________________________________________________
Verify 'Classic call interface' setting
Check whether Code Generation > Interface > Classic call interface is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Terminate function required' setting
Check whether Code Generation > Interface > Terminate function required is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Remove code that protects against division arithmetic exceptions' setting
Check whether Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
Passed
Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
_________________________________________________________________________________________
Verify 'MAT-file logging' setting
Check whether Code Generation > Interface > MAT-file logging is cleared.
Warning
Code Generation > Interface > MAT-file logging is selected.
Recommended Action
Clear the Code Generation > Interface > MAT-file logging checkbox.
_________________________________________________________________________________________
Verify 'Pack Boolean data into bitfields' setting
Check whether Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
Passed
Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
_________________________________________________________________________________________
Verify 'Use bitsets for storing state configuration' setting
Check whether Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
_________________________________________________________________________________________
Verify 'non-finite numbers' setting
Check whether Code Generation > Interface > non-finite numbers is cleared.
Warning
Code Generation > Interface > non-finite numbers is selected.
Recommended Action
Clear the Code Generation > Interface > non-finite numbers checkbox.
_________________________________________________________________________________________
Verify 'absolute time' setting
Check whether Code Generation > Interface > absolute time is cleared.
Warning
Code Generation > Interface > absolute time is selected.
Recommended Action
Clear the Code Generation > Interface > absolute time checkbox.
_________________________________________________________________________________________
Verify 'Operator to represent Bitwise and Logical Operator blocks' setting
Check whether Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
Passed
Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
_________________________________________________________________________________________
Verify 'Default parameter behavior' setting
This check applies only to referenced models. Top models are compatible for all possible values of 'Default parameter behavior'.
Passed
'Default parameter behavior' setting is compatible.
_________________________________________________________________________________________
Verify 'Remove error status field in real-time model data structure' setting
Check whether Code Generation > Interface > Remove error status field in real-time model data structure is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Create block' setting
Check whether Code Generation > Verification > Create block is set to 'none'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Measure function execution times' setting
Check whether Code Generation > Verification > Measure function execution times is set to 'off'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Signal naming' setting
Check whether Code Generation > Identifiers > Signal naming is set to 'None'.
Passed
Code Generation > Identifiers > Signal naming is set to 'None'.
_________________________________________________________________________________________
Verify 'Parameter naming' setting
Check whether Code Generation > Identifiers > Parameter naming is set to 'None'.
Passed
Code Generation > Identifiers > Parameter naming is set to 'None'.
_________________________________________________________________________________________
Verify 'TLC options' setting
Check whether Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
Passed
Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
_________________________________________________________________________________________
Verify 'variable-size signals' setting
Check whether Code Generation > Interface > variable-size signals is cleared.
Passed
Code Generation > Interface > variable-size signals is cleared.
_________________________________________________________________________________________
Verify 'Single output/update function' setting
Check whether Code Generation > Interface > Single output/update function is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Use bitsets for storing Boolean data' setting
Check whether Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
_________________________________________________________________________________________
Verify 'Casting modes' setting
Check whether Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
Passed
Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
_________________________________________________________________________________________
Verify 'Suppress generation of default cases for switch statements if unreachable' setting
Check whether Code Generation > Code Style > Suppress generation of default cases for switch statements if unreachable is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Optimize using the specified minimum and maximum values' setting
Check whether Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
Passed
Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
_________________________________________________________________________________________
Verify 'Existing shared code' setting
Check whether Code Generation > Interface > Existing shared code is set to "" (i.e. unspecified).
Passed
Code Generation > Interface > Existing shared code is set to "".
_________________________________________________________________________________________
Verify 'parameters' setting
Check whether Code Generation > Interface > parameters is cleared.
Passed
Code Generation > Interface > parameters is cleared.
_________________________________________________________________________________________
Verify 'signals' setting
Check whether Code Generation > Interface > signals is cleared.
Passed
Code Generation > Interface > signals is cleared.
_________________________________________________________________________________________
Verify 'states' setting
Check whether Code Generation > Interface > states is cleared.
Passed
Code Generation > Interface > states is cleared.
_________________________________________________________________________________________
Verify 'root-level I/O' setting
Check whether Code Generation > Interface > root-level I/O is cleared.
Passed
Code Generation > Interface > root-level I/O is cleared.
_________________________________________________________________________________________
Verify 'External mode' setting
Check whether Code Generation > Interface > External mode is cleared.
Passed
Code Generation > Interface > External mode is cleared.
_________________________________________________________________________________________
Verify 'Reuse output buffers of Model blocks' setting
Check whether Code Generation > Optimization > Reuse output buffers of Model blocks is cleared.
Warning
Code Generation > Optimization > Reuse output buffers of Model blocks is selected.
Recommended Action
Clear the Code Generation > Optimization > Reuse output buffers of Model blocks checkbox.
_________________________________________________________________________________________
Verify 'Rate Transition block code' setting
Check whether Code Generation > Code Placement > Rate Transition block code is set to 'Inline'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Header files' setting
Check whether Code Generation > Code Placement > Header files field contains a $U token.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Verify 'Initial state' setting
Check whether Data Import/Export > Initial state is cleared.
Passed
Data Import/Export > Initial state is cleared.
Verify 'Multitask data store' setting
Check whether Diagnostics > Data Validity > Multitask data store is set to 'error'.
Passed
Diagnostics > Data Validity > Multitask data store is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask data transfer' setting
Check whether Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask conditionally executed subsystem' setting
Check whether Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
_________________________________________________________________________________________
Verify 'Algebraic loop' setting
Check whether Diagnostics > Algebraic loop is set to 'error'.
Warning
Diagnostics > Algebraic loop is not set to 'error' .
Recommended Action
Set Diagnostics > Algebraic loop to 'error' .
_________________________________________________________________________________________
Verify 'Underspecified initialization detection' setting
Check whether Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
Passed
Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
_________________________________________________________________________________________
Verify 'Non-bus signals treated as bus signals' setting
Check whether Diagnostics > Connectivity > Non-bus signals treated as bus signals is set to 'error'.
Warning
Diagnostics > Connectivity > Non-bus signals treated as bus signals is not set to 'error' .This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Non-bus signals treated as bus signals to 'error' .
_________________________________________________________________________________________
Verify 'Detect downcast' setting
Check whether Diagnostics > Data Validity > Detect downcast is set to 'error'.
Passed
Diagnostics > Data Validity > Detect downcast is set to 'error'.
_________________________________________________________________________________________
Verify 'Detect overflow' setting
Check whether Diagnostics > Data Validity > Detect overflow is set to 'error'.
Passed
Diagnostics > Data Validity > Detect overflow is set to 'error'.
_________________________________________________________________________________________
Verify 'Wrap on overflow' setting
Check whether Diagnostics > Data Validity > Wrap on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Wrap on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Wrap on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Saturate on overflow' setting
Check whether Diagnostics > Data Validity > Saturate on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Saturate on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Saturate on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect underflow' setting
Check whether Diagnostics > Data Validity > Detect underflow is set to 'error'.
Warning
Diagnostics > Data Validity > Detect underflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect underflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect loss of tunability' setting
Check whether Diagnostics > Data Validity > Detect loss of tunability is set to 'error'.
Warning
Diagnostics > Data Validity > Detect loss of tunability is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect loss of tunability to 'error' .
_________________________________________________________________________________________
Verify 'Allow symbolic dimension specification' setting
Check whether Diagnostics > Allow symbolic dimension specification is cleared.
Warning
Diagnostics > Allow symbolic dimension specification is selected.
Recommended Action
Clear the Diagnostics > Allow symbolic dimension specification checkbox.
_________________________________________________________________________________________
Verify 'Unexpected backtracking' setting
Check whether Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
Passed
Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
_________________________________________________________________________________________
Verify 'Invalid input data access in chart initialization' setting
Check whether Diagnostics > Stateflow > Invalid input data access in chart initialization is set to 'error'.
Warning
Diagnostics > Stateflow > Invalid input data access in chart initialization is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Invalid input data access in chart initialization to 'error' .
_________________________________________________________________________________________
Verify 'No unconditional default transitions' setting
Check whether Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
Passed
Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
_________________________________________________________________________________________
Verify 'Transition outside natural parent' setting
Check whether Diagnostics > Stateflow > Transition outside natural parent is set to 'error'.
Warning
Diagnostics > Stateflow > Transition outside natural parent is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition outside natural parent to 'error' .
_________________________________________________________________________________________
Verify 'Unreachable execution path' setting
Check whether Diagnostics > Stateflow > Unreachable execution path is set to 'error'.
Warning
Diagnostics > Stateflow > Unreachable execution path is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Unreachable execution path to 'error' .
_________________________________________________________________________________________
Verify 'Undirected event broadcasts' setting
Check whether Diagnostics > Stateflow > Undirected event broadcasts is set to 'error'.
Warning
Diagnostics > Stateflow > Undirected event broadcasts is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Undirected event broadcasts to 'error' .
_________________________________________________________________________________________
Verify 'Transition action specified before condition action' setting
Check whether Diagnostics > Stateflow > Transition action specified before condition action is set to 'error'.
Warning
Diagnostics > Stateflow > Transition action specified before condition action is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition action specified before condition action to 'error' .
_________________________________________________________________________________________
Verify Bus signal treated as vector setting
Check whether Diagnostics > Connectivity > Bus signal treated as vector is set to 'error'
Warning
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Verify 'char' setting
Check whether Hardware Implementation > char is set to '8'.
Passed
Hardware Implementation > char is set to '8'.
_________________________________________________________________________________________
Verify 'short' setting
Check whether Hardware Implementation > short is set to '16'.
Passed
Hardware Implementation > short is set to '16'.
_________________________________________________________________________________________
Verify 'int' setting
Check whether Hardware Implementation > int is set to '32'.
Passed
Hardware Implementation > int is set to '32'.
_________________________________________________________________________________________
Verify 'float' setting
Check whether Hardware Implementation > float is set to '32'.
Passed
Hardware Implementation > float is set to '32'.
_________________________________________________________________________________________
Verify 'double' setting
Check whether Hardware Implementation > double is set to '64'.
Passed
Hardware Implementation > double is set to '64'.
_________________________________________________________________________________________
Verify 'pointer' setting
Check whether Hardware Implementation > pointer is set to '32'.
Warning
Hardware Implementation > pointer is not set to '32' .
Recommended Action
Set Hardware Implementation > pointer to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'size_t' setting
Check whether Hardware Implementation > size_t is set to '32'.
Warning
Hardware Implementation > size_t is not set to '32' .
Recommended Action
Set Hardware Implementation > size_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'ptrdiff_t' setting
Check whether Hardware Implementation > ptrdiff_t is set to '32'.
Warning
Hardware Implementation > ptrdiff_t is not set to '32' .
Recommended Action
Set Hardware Implementation > ptrdiff_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'native' setting
Check whether Hardware Implementation > native is set to '32'.
Warning
Hardware Implementation > native is not set to '32' .
Recommended Action
Set Hardware Implementation > native to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'Signed integer division rounds to' setting
Check whether Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
Passed
Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
_________________________________________________________________________________________
Verify 'Shift right on a signed integer as arithmetic shift' setting
Check whether Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
Passed
Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
_________________________________________________________________________________________
Verify 'long' setting
Check whether Hardware Implementation > long is set to '32' or '64'.
Passed
Hardware Implementation > long is set to '32' or '64'.
_________________________________________________________________________________________
Verify 'long long' setting
Check whether Hardware Implementation > long long is set to '64'.
Passed
Hardware Implementation > long long is set to '64'.
_________________________________________________________________________________________
Verify 'Test hardware is the same as production hardware' setting
Check whether Hardware Implementation > Test hardware is the same as production hardware is selected.
Passed
Hardware Implementation > Test hardware is the same as production hardware is selected.
_________________________________________________________________________________________
Verify 'Device vendor' setting
Identify whether Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Passed
Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Verify 'Implement logic signals as Boolean data (vs. double)' setting
Check whether Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
Passed
Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
_________________________________________________________________________________________
Verify 'Use algorithms optimized for row-major array layout' setting
Check whether Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Passed
Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Verify 'Type' setting
Check whether Solver > Type is set to 'Fixed-step'.
Warning
Solver > Type is not set to 'Fixed-step' .
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Solver' setting
Check whether Solver > Solver is set to 'FixedStepDiscrete'.
Warning
Solver > Solver is not set to 'FixedStepDiscrete' .
Recommended Action
Set Solver > Solver to 'FixedStepDiscrete' .
_________________________________________________________________________________________
Verify 'Periodic sample time constraint' setting
Check whether Solver > Periodic sample time constraint is set to 'Unconstrained' or 'STIndependent'.
Warning
This check failed because the following prerequisite(s) for the check failed : Solver > Type is not set to 'Fixed-step' . Follow the recommended action and rerun the check.
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Automatically handle rate transition for data transfer' setting
Check whether Solver > Automatically handle rate transition for data transfer is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed : Solver > Type is not set to 'Fixed-step' . Follow the recommended action and rerun the check.
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Allow tasks to execute concurrently on target' setting
Check whether Solver > Allow tasks to execute concurrently on target is cleared.
Passed
Solver > Allow tasks to execute concurrently on target is cleared.
Check for unconnected objects
Identify unconnected lines, input ports, and output ports in the model or subsystem
Passed
There are no unconnected lines, input ports, or output ports in the model or subsystem.
Verify System target file setting
Check whether Code Generation > System target file is ert.tlc or a System target file derived from ERT
Warning
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check model interface settings
Check whether the Configure arguments for Step function prototype setting in the Configure C Step Function Interface dialog box is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check for blocks not supported by Simulink Code Inspector
Identify blocks that are not supported by Simulink Code Inspector
Warning
The following block(s) are not supported by Simulink Code Inspector:
| Blocks | Block Type |
|---|---|
| untitled/Solver Configuration/a | PMIOPort |
| untitled/Belt-Cable Properties | SimscapeMultibodyBlock |
| untitled/Belt-Cable Spool | SimscapeMultibodyBlock |
| untitled/Belt-Cable Spool1 | SimscapeMultibodyBlock |
| untitled/Cylindrical Solid | SimscapeMultibodyBlock |
| untitled/Mechanism Configuration | SimscapeMultibodyBlock |
| untitled/Pulley | SimscapeMultibodyBlock |
| untitled/Revolute Joint | SimscapeMultibodyBlock |
| untitled/Revolute Joint1 | SimscapeMultibodyBlock |
| untitled/Revolute Joint2 | SimscapeMultibodyBlock |
| untitled/Rigid Transform | SimscapeMultibodyBlock |
| untitled/Rigid Transform1 | SimscapeMultibodyBlock |
| untitled/Rigid Transform2 | SimscapeMultibodyBlock |
| untitled/World Frame | SimscapeMultibodyBlock |
No Code in MATLAB Functions were found
_________________________________________________________________________________________
Check MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Check for unsupported usage of Storage Class on the Data Defaults tab of the Code Mappings editor.
Identify unsupported Storage Class settings for model element categories on the Data Defaults tab of the Code Mappings editor.
Passed
There is no unsupported Storage Class setting for model element categories on the Data Defaults tab of the Code Mappings editor.